[计] 安全操作系统的实现 design of secure operating system: 安全操作系统的设计kernelized secure operating system: 核心安全操作系统secure operating system: 安全操作系统verifiable secure operating system: 检验可靠的操作系统operating system implementation: 操作系统执行下载手机词典可随时随地查词查翻译